Issue3361.agda:5,1-9
Empty variable block.

———— All done; warnings encountered ————————————————————————

Issue3361.agda:5,1-9
Empty variable block.
